theoremproving machine
[计] 定理证明机
热门查询
- Heseltine n. (Heseltine)人名；(英)赫塞尔廷
- financial year n. 财政年度；会计年度 [网络] 财务年度；财年；财务年度t
- gifford n. 吉福德(m.)
- cochineal n. [昆] 胭脂虫；[染料] 胭脂虫红
- blending n. 混合；调配；混和物 v. 混合；协调（blend的ing形式） adj. 混合的
- immutable adj. 不变的；不可变的；不能变的
- bureaucratic adj. 官僚的；官僚政治的
- delftware n. 代夫特陶器（产于荷兰）
- excommunicated vt. 逐出教会；把…逐出教会 adj. 被逐出教会的 n. 被逐出教会的人
- Vienna n. 维也纳（奥地利首都）
- warrior n. 战士，勇士；鼓吹战争的人
- vaughan 沃恩（姓氏, 男子名）
- begging n. 乞讨 v. 乞讨，乞求；行乞（beg的现在分词形式）
- lawn n. 草地；草坪 n. (Lawn)人名；(缅)朗
- politesse n. 优雅；礼貌；（法）客气
- HAL n. 哈尔（男子名，等于Henry，Harold） abbr. 硬件抽象层
- Latham [人名] [英格兰人姓氏] 莱瑟姆住所名称，来源于古诺斯语，含义是“谷仓”(barn); [地名] [澳大利亚、美国] 莱瑟姆
- craziness n. 愚蠢；狂热；摇摇晃晃
- bung n. 塞子 n. (Bung)人名；(柬)本；(越)捧；(德)邦格 vt. 塞住；攻击
- redoubled vt. 再加倍；把…再折叠；循著…折回 vi. 加倍；回响；急速折回 n. 再加倍
考试词汇表
- winding overhang support
- winding radius indicator
- winding, superconductive
- window diagram technique
- window fastener of metal
- window management system
- window setting technique
- window sill, window rail
- window suspension cone X
- window type cooling unit
- windowing transformation
- windows nt network model
- windscreen wiper gearing
- windshield adjusting arm
- windshield glass channel
- windshield wiper missing
- wing muscle of the heart
- winged cast metal splint
- winged viviparous female
- wingedstem treebine stem
